\input texinfo.tex instead of just texinfo, to

avoid problems making the texinfo distribution.

diff --git a/man/info.texi b/man/info.texi
index 24a6c4bbc465ec266163619c5aad569fa0324601..deab84b37afddf9e3f85e8bdfc015a0729931a14 100644 (file)
--- a/man/info.texi
+++ b/man/info.texi
@@ -1,4 +1,7 @@
-\input texinfo    @c -*-texinfo-*-
+\input texinfo.tex    @c -*-texinfo-*-
+@c We must \input texinfo.tex instead of texinfo, otherwise make
+@c distcheck in the Texinfo distribution fails, because the texinfo Info
+@c file is made first, and texi2dvi must include . first in the path.
 @comment %**start of header
 @setfilename info.info
 @settitle Info